AVACS meets Control
28.09.2010
Aim
The Workshop AVACS meets Control aims to bring together researchers from AVACS, especially from project area H, with researchers from Control Theory, to discuss new ideas and current research directions.
The Workshop is embedded into the autumn plenary meeting of the SFB/TRR AVACS.
Location
University of Freiburg
Campus Applied Sciences (Computer Science, Microsystem Engineering)
Georges-Köhler-Allee
Freiburg im Brsg.
(see map at google maps)
The workshop will be held in the Kinohörsaal (Cinema lecture hall) of building 082, which is the building No. 5 on the following university map.
Schedule
Time | |
|---|---|
09:00 - 09:10 | Welcome |
Session 1 | |
09:10 - 10:10 | Control of piecewise-affine hybrid systems on polytopes |
10:10 - 10:50 | Exact and Fully Symbolic Model Checking of Linear Hybrid Automata with Large Discrete State Spaces |
Coffee Break | |
Session 2 | |
11:20 - 12:20 | Stochastic Hybrid Systems: formal analysis and computable verification |
12:20 - 13:00 | Analysis of Probabilistic Hybrid Systems by Means of Constraint Solving |
Lunch Break | |
Session 3 | |
14:00 - 15:00 | The role of hybrid abstraction and refinement concepts for the systematic design of hierarchical control systems |
15:00 - 15:40 | Decompositional Stability Proofs for Hybrid Systems |
Coffee Break | |
Session 4 | |
16:10 - 16:40 | Randomness in the AVACS Swiss Army Knife |
16:40 - 17:10 | Decomposition of Verification Tasks for Cooperating Traffic Agents |
Social Event | |
19:30 | Get-Together at Peterhofskeller (Niemensstraße 10, see google map or building 11 at this university map). |